A sample style modification file for SLaTeX would include
redefinition of the names of the codesetting control
sequences, adjustment of the display parameters,
modification of the font assignments for
keywords/c̃onstants/ṽariables/s̃pecial symbols, and
addition of new keywords/c̃onstants/ṽariables/s̃pecial
symbols to SLaTeX's database.
Let's assume you want
- a centered display style with no vertical skips;
- the names
\code, cdisp, cbox,
\sinput instead of
\scheme, schemedisplay, schemebox and
\schemeinput;
- tokens to disregard case;
- the keywords to come out it typewriter, the constants in
roman, and the variables in slant;
- ``
und'' and ``oder'' as keywords,
``true'' and ``false'' as constants,
``define'' as a variable (overriding default as
keyword!), ``F'' as a constant (f will also
be a constant, due to case-insensitivity!);
- ``
top'' and ``bottom'' to print as
and 
respectively.
This could be set up as
\abovecodeskip=0pt
\belowcodeskip=0pt
\leftcodeskip=0pt plus 1fil
\rightcodeskip=0pt plus 1fil
\undefschemetoken{scheme}
\undefschemeboxtoken{schemebox}
\undefschemedisplaytoken{schemedisplay}
\undefschemeinputtoken{schemeinput}
\defschemetoken{code}
\defschemeboxtoken{cbox}
\defschemedisplaytoken{cdisp}
\defschemeinputtoken{sinput}
\schemecasesensitive{false}
\def\keywordfont#1{{\tt#1}}
\def\constantfont#1{{\rm#1}}
\def\variablefont#1{{\sl#1\/}}
\setkeyword{und oder}
\setconstant{true false}
\setvariable{define}
\setspecialsymbol{top}{$\top$}
\setspecialsymbol{bottom}{$\bottom$}
This file can then be \inputed in the preamble of
your LaTeX document.